sequent operation

opeenvolgende actie (actie die zich afspeelt vlakbij speciale gebeurtenis)

English-Dutch dictionary. 2013.

Look at other dictionaries:

  • sequent operation — action that occurs in close succession to another event …   English contemporary dictionary

  • Sequent Computer Systems — Sequent Computer Systems, or Sequent, was a computer company that designed and manufactured multiprocessing computer systems. They were among the pioneers in high performance symmetric multiprocessing (SMP) open systems, innovating in both… …   Wikipedia

  • Santa Cruz Operation — (SCO) was a software company based in Santa Cruz, California which was best known for selling three Unix variants for Intel x86 processors: Xenix, SCO UNIX (later known as SCO OpenServer), and UnixWare. Eric Raymond, in his book The Art of Unix… …   Wikipedia

  • Santa Cruz Operation — Saltar a navegación, búsqueda Para otros usos de este término, véase Santa Cruz (desambiguación). Santa Cruz Operation (SCO) era una compañía de software con base en Santa Cruz, California, EE. UU., la cual era conocida por vender 3 variantes de… …   Wikipedia Español

  • Santa Cruz Operation — Логотип SCO The SCO Group  американская компания, держатель прав на товарный знак Caldera Systems и занималась разработкой и внедрением своего дистрибутива GNU/Linux. В 2000 компания купила у Santa Cruz Operation права на операционные системы… …   Википедия

  • Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… …   Wikipedia

  • Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… …   Wikipedia

  • Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… …   Wikipedia

  • Microprocessor — Intel 4004, the first general purpose, commercial microprocessor A microprocessor incorporates the functions of a computer s central processing unit (CPU) on a single integrated circuit,[1] (IC) or at most a few integrated circuits …   Wikipedia

  • Substructural logic — In mathematical logic, in particular in connection with proof theory, a number of substructural logics have been introduced, as systems of propositional calculus that are weaker than the conventional one. They differ in having fewer structural… …   Wikipedia

  • Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.